Model-checking Quantum Systems: Principles And Algorithms By Ying

Model Checking Quantum Systems | Mingsheng Ying (u. A.) | Englisch |

Distributed Computing Principles, Algorithms, And Systems Kshemkalyani

Principles Of Model Checking | Christel Baier (u. A.) | Englisch |

Sichere Konfigurationsplanung Adaptiver Systeme Durch Model Checking

Quantum Dynamics Of Some Real And Model Systems Aspects Of Quantum

Quantum Monte Carlo Methods: Algorithms For Lattice Models By James

Raghavendra K. R. | Model-checking Infinite State Systems For

Model-checking Infinite State Systems For Information Flow Security

Ying Fu | Physical Models Of Semiconductor Quantum Devices |

Agostino Cortesi | Verification, Model Checking, And Abstract

Assurances For Self-adaptive Systems Principles, Models, And

Universal Design: Principles And Models By Roberta Null

Quantum Dynamics Of Some Real And Model Systems | Chandan Kumar Mondal

Model Checking And Artificial Intelligence 5th International Workshop,

Francesco Logozzo (u. A.) | Verification, Model Checking, And